满足度量性质的归一化树编辑距离

利用树大小和树编辑距离的简单函数提出了一种归一化树编辑距离,在权重函数具有度量性质且所有插入和删除操作的权重都相等时,不仅能完全满足三角不等式,而且是一种取值在[0,1]的度量.这种距离可以由树编辑距离直接计算得到,其计算时间复杂度与树编辑距离相同.通过手写数字识别实验说明,AESA算法利用该距离获得的识别率为91.6%,比其他2种归一化树编辑距离分别高0.2%和0.8%.     

概率论思想在一些不等式中的应用

随着概率论的应用和迅速发展,概率论的应用逐步深入到各个领域,涉足到各个行业。在数学上一些常见的不等式的证明,若运用代数方法较难得到解决,而运用概率方法就可以较方便地得到证明。这种证明方法沟通了不同学科之间的联系。应用概率方法证明不等式,是个很有用的方法,建立适当概率模型,使不等式的证明得到简化。本文主要研究了应用概率论的方法证明代数不等式、积分不等式和相关理论的应用。     

带干扰的变破产下限多险种风险模型

近年来许多文献在研究风险模型的破产概率时假设破产下限为0,而在实际保险实务中,当保险公司的盈余过程低于某一限度时,保险公司就面临着破产,针对该问题,讨论了带干扰的多险种风险模型下的破产概率,运用鞅方法推导出破产概率满足的不等式和具体的表达式,给出了推广后的多险种风险模型中变破产下限破产概率所满足的不等式和具体表达式。     

时滞中立型神经网络全局渐近稳定性

针对具有时变时滞的中立型Hopfield神经网络,在对时变时滞的合理假设下,文中通过构造适当的Lyapunov泛函,提出了一种新的方法判定时变时滞中立型Hopfield神经网络系统的全局一致渐近稳定性。所得判据是建立在一个代数Riccati方程及其对应离散Lyapunov方程存在对称正定解之上的,并得出了易于计算机仿真实现的线性矩阵不等式的判据形式,仿真验证了结果的有效性。     

一类离散Markov跳跃系统基于状态观测器的鲁棒H_∞控制

研究了具有不确定性的模式依赖时滞离散Markov跳跃系统基于状态观测器的鲁棒H∞控制问题。目的是构建依赖于系统模式的观测器和控制器,使得闭环系统是随机稳定的且具有较好的H∞干扰抑制性能。通过选取合适的随机Lyapunov函数,利用线性矩阵不等式,给出了鲁棒H∞控制器存在的时滞依赖条件。基于锥补线性化算法对控制器进行求解,得到了模式依赖观测器和控制器。最后通过数值仿真证明了本文方法的可行性。     

试论收入分配改革的理论根源

收入分配改革是社会主义和谐社会建设的重要保障。进行收入分配体制改革攻坚是完善社会主义市场经济体制和构建主义和谐社会的重要内容。本文从库兹涅茨的倒U字型顶点区界定、收入分配改革的社会诱因以及历史背景方面对收入分配改革的启动寻找理论依据,以形成国民收入分配格局调整阶段的理论基础。     

含参数的Hardy—Hilbert型积分不等式的加强

利用改进了的Holder不等式对带参数的Hardy-Hilbert型积分不等式作了进一步的改进,建立了一些新的不等式。     

KKM映射和KKM型定理及其相关结果

简要介绍古典的KKM映射的演变过程和KKM理论的发展历史,并给出利用KKM型定理得到的最近的一些重要研究成果,以进一步了解和掌握并研究KKM理论．     

Spacecraft formation control strategy on Sun-Earth Lissajous orbit

To carry out the deep space exploration tasks near Sun-Earth Libration point L2, the CRTBP dynamic model was built up and the numerical conditional quasi-periodic orbit (Lissajous orbit) was computed near L2. Then, a formation controller was designed with linear matrix inequality to overcome the difficulty of parameter tuning. To meet the demands of formation accuracy and present thruster’s capability, a threshold scheme was adopted for formation control. Finally, some numerical simulations and analysis were completed to demonstrate the feasibility of the proposed control strategy.     

关于广义椭圆积分的几个性质

揭示了由广义椭圆积分定义的一些函数的单调性,从而获得若干不等式。这些结果有助于对广义Grtzsch环函数和Ramanujan模方程及其解φak(r)、φk(r)的研究,这些函数在拟共形理论、数论、几何学等领域中具有非常广泛的应用;同时,从这些结果中可以得到关于完全椭圆积分的一些新的性质。